/* 80c.css - condense width to emulate a classical 80 character terminal */

.mp                       { max-width:86ex }

 /* .mp width + padding */
.man-navigation           { left:101ex }
